Mathematical Programming - PDFSEARCH.IO - Document Search Engine

Mathematical Programming
Results: 4310

#	Item
951	MathMagic Fonts - Keycode & Glyph Preview Table Font File: 20 1 Add to Reading List Source URL: www.mathmagic.com Language: English - Date: 2014-01-27 06:26:47 Desktop publishing software MathMagic Mathematical software Classical cipher Index of agriculture articles Application software Computer programming Computing
952	An Introduction to R Notes on R: A Programming Environment for Data Analysis and Graphics VersionPatchedW. N. Venables, D. M. Smith and the R Core Team Add to Reading List Source URL: cran.sciserv.eu Language: English - Date: 2015-05-28 05:10:09 Array programming languages Functional languages Earth sciences graphics software R Cross-platform software MATLAB SPSS STATISTICA Mathematica Software Mathematical software Computing
953	The R language – a short companion This companion is essentially based on the documents „An Introduction to R“ and „R language definition“, both version 1.7.1, available on the R website http://www.r-project.or Add to Reading List Source URL: mirrors.psu.ac.th Language: English - Date: 2003-07-17 05:02:27 Abstract algebra Subroutines Mathematical structures Cross-platform software Procedural programming languages C++ classes Algebraic structure Fold Function Software engineering Algebra Computing
954	A Formalized Proof of Strong Normalization for Guarded Recursive Types (Long Version) Andreas Abel and Andrea Vezzosi Computer Science and Engineering, Chalmers and Gothenburg University, Rännvägen 6, 41296 Göteborg, Add to Reading List Source URL: www2.tcs.ifi.lmu.de Language: English - Date: 2014-08-29 19:03:11 Dependently typed programming Logic in computer science Type theory Proof theory Curry–Howard correspondence Philosophy of computer science Symbol Lambda calculus Intuitionistic type theory Theoretical computer science Mathematical logic Mathematics
955	10 OR Applications at Bouygues Thierry Benoist1 and Benoît Rottembourg2 , 1 Bouygues e-lab, 1, av. Eugène FreyssinetSt-Quentin-en-Yvelines Cedex - FRANCE Add to Reading List Source URL: tbenoist.pagesperso-orange.fr Language: English - Date: 2008-07-09 00:55:46 Business Bouygues Construction Crane Formwork Mathematical optimization Linear programming Operations research Transport Advertising
956	MathMagic Fonts - Keycode & Glyph Preview Table Font File: 20 1 Add to Reading List Source URL: www.mathmagic.com Language: English - Date: 2013-12-27 12:51:04 Mathematical software Computer programming Science Varicode Classical cipher Application software Desktop publishing software MathMagic
957	An introduction to R Longhow Lam Under Construction Feb-2010 some sections are unfinished! longhowlam at gmail dot com Add to Reading List Source URL: mirror.fcaglp.unlp.edu.ar Language: English - Date: 2010-10-28 06:44:47 Functional languages Econometrics Regression analysis R Array programming languages Ggplot2 Plot SAS Linear regression Statistics Software Mathematical software
958	Package ‘FRAPO’ June 19, 2013 VersionDateTitle Financial Risk Modelling and Portfolio Optimisation with R Depends R (>= 2.11), methods, quadprog, Rglpk, timeSeries Add to Reading List Source URL: www.pfaffikus.de Language: English - Date: 2013-06-20 17:03:22 Summary statistics Data analysis Diversification Econometrics Financial risk Ellipsis Second-order cone programming Standard deviation Mathematical optimization Statistics Mathematics Algebra
959	An Introduction to R Notes on R: A Programming Environment for Data Analysis and Graphics Version16) W. N. Venables, D. M. Smith and the R Core Team Add to Reading List Source URL: star-www.st-andrews.ac.uk Language: English - Date: 2015-05-27 05:13:22 Array programming languages Functional languages Earth sciences graphics software R Cross-platform software MATLAB SPSS STATISTICA Mathematica Software Mathematical software Computing
960	Differential Logic Programs: Programming Methodologies and Semantics A. Bossi M. Bugliesi Dipartimento di Matematica Pura ed Applicata Universit` a di Padova via Belzoni 7, 35131 Padova, Italy Add to Reading List Source URL: www.dsi.unive.it Language: English - Date: 2005-06-07 06:41:34 Predicate logic Functions and mappings Logic programming Predicate Prolog Function Resolution Logic Mathematics Mathematical logic

UPDATE